Tobias Nipkow (auth.): Z-Library web sitesinde arama yap

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Don't use scam websites

Kitaplar (12)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

Yıl:

2001

Dil:

english

Dosya:

PDF, 6.88 MB

0 / 0

english, 2001

2

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

Yıl:

2006

Dil:

english

Dosya:

PDF, 6.76 MB

0 / 0

english, 2006

3

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Yıl:

2006

Dil:

english

Dosya:

PDF, 3.72 MB

0 / 0

english, 2006

4

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

Springer International Publishing

Tobias Nipkow, Gerwin Klein (auth.)

Yıl:

2014

Dil:

english

Dosya:

PDF, 3.97 MB

0 / 0

english, 2014

5

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)

Yıl:

1995

Dil:

english

Dosya:

DJVU, 2.30 MB

0 / 0

english, 1995

6

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)

Yıl:

1998

Dil:

english

Dosya:

DJVU, 3.64 MB

0 / 0

english, 1998

7

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

Yıl:

1994

Dil:

english

Dosya:

DJVU, 2.66 MB

0 / 0

english, 1994

8

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), John Hughes (eds.)

Yıl:

1991

Dil:

english

Dosya:

DJVU, 6.63 MB

0 / 0

english, 1991

9

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

J. W. Klop (auth.), Tobias Nipkow (eds.)

Yıl:

1998

Dil:

english

Dosya:

DJVU, 2.95 MB

0 / 0

english, 1998

10

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Yıl:

2009

Dil:

english

Dosya:

PDF, 5.45 MB

0 / 0

english, 2009

11

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Yıl:

2009

Dil:

english

Dosya:

PDF, 5.50 MB

0 / 0

english, 2009

12

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Yıl:

2009

Dil:

english

Dosya:

PDF, 4.74 MB

0 / 0

english, 2009